Angus John Macintyre ist ein britischer mathematischer Logiker, der sich neben Logik und Modelltheorie auch mit Algebra und Kombinatorik beschäftigt. Macintyre promovierte 1968 an der Stanford University bei Dana Scott (Classifying pairs of real closed fields). In den 1970er Jahren war er Professor an der Yale University, Anfang der 1990er Jahre ...